| 1. | Around 1965, he became interested in logical systems.
Vers 1965, il s'intéresse aux systèmes logiques. |
| 2. | However, intuitionistic logic is a specific logical system whereas paraconsistent logic encompasses a large class of systems.
Cependant la logique intuitionniste est un système logique spécifique, tandis que les logiques paracohérentes forment une famille de systèmes. |
| 3. | The significance of the document lies in the longevity and wide application of its logical system of diacritics.
L’importance de ce document réside dans la longévité et la large application de son système logique de signes diacritiques. |
| 4. | In my opinion this can be resolved by creating a coherent and internally logical system for doing our work which runs until friday afternoon.
selon moi , nous pouvons résoudre ce problème en instaurant un système de travail cohérent et logique jusqu'au vendredi midi. |
| 5. | If we are to move towards a more transparent and logical system , we have two radically different options available.
monsieur le président , si on souhaite faire évoluer le système vers plus de transparence et de logique , deux options , radicalement différentes , s'ouvrent. |
| 6. | Firstly , we really ought to be working towards obtaining a logical system in the long-term , which we do not have to be constantly renegotiating.
premièrement , nous devons vraiment œuvrer à obtenir un système logique à long terme , que nous ne devons pas renégocier constamment. |
| 7. | Other logical systems, however, do not explode in this manner when contradictions are introduced; such contradiction-tolerant systems are known as paraconsistent logics.
D'autres systèmes logiques n'explosent pas de cette manière lorsque des contradictions sont introduites ; de tels systèmes tolérants à la contradiction sont connus comme des logiques paracohérentes. |
| 8. | What seemed like an extremely logical system at the time to the majority of parliament – not to all of us – has real problems that need addressing.
ce qui semblait être à l’époque un système extrêmement logique pour une majorité de députés - mais pas pour tous - présente de véritables problèmes qu’il convient de régler. |
| 9. | It is not in general possible for a logical system to have a formal negation operator such that there is a proof of "not" P {\displaystyle P} exactly when there isn't a proof of P {\displaystyle P} ; see Gödel's incompleteness theorems.
Il n'est pas possible pour un système formel « suffisamment puissant », d'avoir un opérateur de négation tel qu'il y ait une preuve de ¬ P |
| 10. | Logic concerns the truths that may be derived using a logical system; metalogic concerns the truths that may be derived about the languages and systems that are used to express truths.
Alors que la logique étudie comment des systèmes logiques peuvent être utilisés pour construire un argument valide et correct, la métalogique concerne les vérités qui peuvent être dérivées des langages et des systèmes qui sont utilisés pour exprimer des vérités. |
